(0 7 2)(1 19 15)(3 20 17)(4 13 5)(6 10 8)(9 14 12)(11 18 16)
ALLOWS (11/8)-SEQUENCE
1: (3 13 17)

(0 7 2)(1 19 15)(3)(4 13 20 17 5)(6 10 8)(9 14 12)(11 18 16)
2: (11 18 16)

(0 7 2)(1 19 15)(3)(4 13 20 17 5)(6 10 8)(9 14 12)(11)(16)(18)
3: (5 20 17)

(0 7 2)(1 19 15)(3)(4 13 20)(5)(6 10 8)(9 14 12)(11)(16)(17)(18)
4: (9 14 12)

(0 7 2)(1 19 15)(3)(4 13 20)(5)(6 10 8)(9)(11)(12)(14)(16)(17)(18)